NANEVSKI, ALEKSANDAR: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

How to make ad hoc proof automation less ad hoc

GONTHIER, GEORGES, ZILIANI, BETA, NANEVSKI, ALEKSANDAR, DREYER, DEREK

Journal:

Journal of Functional Programming

Year:

2013

Language:

english

File:

PDF, 791 KB

english, 2013

2

Contextual modal type theory

Nanevski, Aleksandar, Pfenning, Frank, Pientka, Brigitte

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 296 KB

english, 2008

3

[IEEE 2011 IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2011.05.22-2011.05.25)] 2011 IEEE Symposium on Security and Privacy - Verification of Information Flow and Access Control Policies with Dependent Types

Nanevski, Aleksandar, Banerjee, Anindya, Garg, Deepak

Year:

2011

Language:

english

File:

PDF, 306 KB

english, 2011

4

Denotation of contextual modal type theory (CMTT): Syntax and meta-programming

Gabbay, Murdoch J., Nanevski, Aleksandar

Journal:

Journal of Applied Logic

Year:

2013

Language:

english

File:

PDF, 435 KB

english, 2013

5

Dependent Type Theory for Verification of Information Flow and Access Control Policies

Nanevski, Aleksandar, Banerjee, Anindya, Garg, Deepak

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2013

Language:

english

File:

PDF, 1.37 MB

english, 2013

6

Hoare type theory, polymorphism and separation

NANEVSKI, ALEKSANDAR, MORRISETT, GREG, BIRKEDAL, LARS

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 305 KB

english, 2008

7

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Ynot

Nanevski, Aleksandar, Morrisett, Greg, Shinnar, Avraham, Govereau, Paul, Birkedal, Lars

Year:

2008

Language:

english

File:

PDF, 302 KB

english, 2008

8

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Structuring the verification of heap-manipulating programs

Nanevski, Aleksandar, Vafeiadis, Viktor, Berdine, Josh

Year:

2010

Language:

english

File:

PDF, 481 KB

english, 2010

9

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - How to make ad hoc proof automation less ad hoc

Gonthier, Georges, Ziliani, Beta, Nanevski, Aleksandar, Dreyer, Derek

Year:

2011

Language:

english

File:

PDF, 589 KB

english, 2011

10

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Mechanized verification of fine-grained concurrent programs

Sergey, Ilya, Nanevski, Aleksandar, Banerjee, Anindya

Year:

2015

Language:

english

File:

PDF, 529 KB

english, 2015

11

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Subjective auxiliary state for coarse-grained concurrency

Ley-Wild, Ruy, Nanevski, Aleksandar

Year:

2013

Language:

english

File:

PDF, 723 KB

english, 2013

12

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Hoare-style reasoning with (algebraic) continuations

Delbianco, Germán Andrés, Nanevski, Aleksandar

Year:

2013

Language:

english

File:

PDF, 455 KB

english, 2013

13

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Mtac

Ziliani, Beta, Dreyer, Derek, Krishnaswami, Neelakantan R., Nanevski, Aleksandar, Vafeiadis, Viktor

Year:

2013

Language:

english

File:

PDF, 597 KB

english, 2013

14

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures

Stewart, Gordon, Banerjee, Anindya, Nanevski, Aleksandar

Year:

2013

Language:

english

File:

PDF, 1.31 MB

english, 2013

15

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Modular reasoning about heap paths via effectively propositional formulas

Itzhaky, Shachar, Banerjee, Anindya, Immerman, Neil, Lahav, Ori, Nanevski, Aleksandar, Sagiv, Mooly

Year:

2014

Language:

english

File:

PDF, 732 KB

english, 2014

16

[ACM Press the 2003 workshop - Uppsala, Sweden (2003.08.26-..)] Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 - A modal foundation for meta-variables

Nanevski, Aleksandar, Pientka, Brigitte, Pfenning, Frank

Year:

2003

Language:

english

File:

PDF, 145 KB

english, 2003

17

Structuring the verification of heap-manipulating programs

Nanevski, Aleksandar, Vafeiadis, Viktor, Berdine, Josh

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 481 KB

english, 2010

18

Mtac: A monad for typed tactic programming in Coq

ZILIANI, BETA, DREYER, DEREK, KRISHNASWAMI, NEELAKANTAN R., NANEVSKI, ALEKSANDAR, VAFEIADIS, VIKTOR

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 1.67 MB

english, 2015

19

Staged computation with names and necessity

NANEVSKI, ALEKSANDAR, PFENNING, FRANK

Journal:

Journal of Functional Programming

Year:

2005

Language:

english

File:

PDF, 342 KB

english, 2005

20

How to make ad hoc proof automation less ad hoc

Gonthier, Georges, Ziliani, Beta, Nanevski, Aleksandar, Dreyer, Derek

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 589 KB

english, 2011

21

Automatic generation of staged geometric predicates

Nanevski, Aleksandar, Blelloch, Guy, Harper, Robert

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 280 KB

english, 2001

22

Polymorphism and separation in hoare type theory

Nanevski, Aleksandar, Morrisett, Greg, Birkedal, Lars

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 306 KB

english, 2006

23

Ynot

Nanevski, Aleksandar, Morrisett, Greg, Shinnar, Avraham, Govereau, Paul, Birkedal, Lars

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 302 KB

english, 2008

24

Mtac

Ziliani, Beta, Dreyer, Derek, Krishnaswami, Neelakantan R., Nanevski, Aleksandar, Vafeiadis, Viktor

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 597 KB

english, 2013

25

Hoare-style reasoning with (algebraic) continuations

Delbianco, Germán Andrés, Nanevski, Aleksandar

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 455 KB

english, 2013

26

Specifying concurrent programs in separation logic: morphisms and simulations

Nanevski, Aleksandar, Banerjee, Anindya, Delbianco, Germán Andrés, Fábregas, Ignacio

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 551 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски